Transfer of Status Qualifying Dissertation: a Compositional Approach to Control Theory
نویسنده
چکیده
This paper proposes a programme of research with the aim of understanding network-based systems through the application of monoidal category theory, and outlines some in-progress work in this direction.
منابع مشابه
Towards a Relational Programming Language
Qualifying dissertation submitted in application for transfer to D.Phil. status. Abstract Until recently, the art of deriving computer programs from speciication has been performed equationally in a functional calculus. However, it has become evident that a relational calculus aaords us a greater degree of expression and exibility in both speciication and proof since a relational calculus natur...
متن کاملنظریه پردازی بر فرآیند انتقال دانش نظری به حوزه عمل در پرستاری: رویکرد گراندد تئوری
Introduction & Objective: Knowledge transfer and in fact, the bridging of theory and practice is one of the main concerns of all academic disciplines. Getting prominent professional status is the thing that can be achieved by knowledge-based function, and of which would be called as successful discipline that it be able to transfer its theoretical paradigmatic claims into practice. Accordingly,...
متن کاملEvaluation of Nutritional Status of Lime Orchards in Hormozgan Province of Iran using Compositional Nutrient Diagnosis Method
Knowing the trees nutritional status is necessary for achieving balanced fertilization in orchards. One approach for determining the nutritional status of orchards is the compositional nutrient diagnosis method. In the present research this method was performed to evaluate the nutritional status of three important areas of lime cultivation in Hormozgan province, south of Iran, during 2014 and 2...
متن کاملOptimal Strategy of State Lands allocation in Islamic Economics: Game Theory Approach
In the Islamic legal and economic system, a precise mechanism for land use is defined. The classification of lands, along with the flexible methods available to the government for the allocation of land, raises the question of what is the most desirable method for state lands allocation based on the Islamic legal and economic system? Accordingly, the purpose of the present study is to find a fa...
متن کاملDeveloping a Compositional Reservoir Model for Investigating the Effect of Interfacial Tension on Oil Recovery
In this paper, a simplified formulation for compositional reservoir simulator is presented. These types of simulators are used when inter-phase mass transfer depends on phase composition as well as pressure. The procedure for solving compositional model equations is completely described. For equilibrium calculation, property estimation Peng Robinson equation of state is used. This equation ...
متن کامل